Devenir, se maintenir, partir

Éditorial: Informatique et devenir

Une logique conflictuelle: double négation et devenir, méthode

Estimation incrémentale de surface à partir d’un nuage de point épars reconstruit à partir d’images omnidirectionnelles

This paper introduces an incremental (2-manifold) surface reconstruction method. Its input is a sparse 3D point cloud generated by a Structure-from-Motion algorithm, as opposed to the more common dense algorithms. Furthermore, our method is incremental : the surface is updated for every new camera pose given as input, and the update occurs in a small neighborhood of the new camera pose. Compare...

Détection d'évènements à partir de Twitter

We present a system for finding, from Twitter data, events that raised the interest of users within a given time period and the important dates for each event. An event is represented by many terms whose frequency increases suddenly at one or more moments during the analysed period. In order to determine the terms (especially the hashtags) dealing with a topic, we propose methods to cluster sim...

Synthèse d'observateurs à partir d'exigences temporelles

Résumé. A contrario des normes UML 2.1 et SysML, le profil UML TURTLE (Timed UML and RT-LOTOS Environment) dispose d’une sémantique formelle et d’une méthodologie. Avec les systèmes temps réel pour cible, cette méthodologie met l’accent sur la vérification formelle du comportement des objets. Le profil TURTLE est doté d’un langage graphique et formalisé d’expression d’exigences temporelles. La ...